perm filename XXX[BNF,JRA]1 blob sn#005908 filedate 1972-10-23 generic text, type T, neo UTF8
00100	AXIOM: ((X*(Y*Z))*(I*Y))*Z=X;
00200	X*((Y*Z)*(I*Z))=X*Y;
00300	((X*Y)*(Z*Y))*(I*Z)=X;
00350	((X*(I*Y)*Z)*(Y*Z))=X;
00700	;